Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
771	2014 International Conference on Data Science and Advanced Analytics DSAA2014 30 October - 1 November, 2014, Shanghai, China http://datamining.it.uts.edu.au/conferences/dsaa14/ Add to Reading List Source URL: datamining.it.uts.edu.au Language: English - Date: 2014-07-05 19:58:06 Statistics Business intelligence Computer graphics Infographics Scientific modeling Visual analytics Analytics Data mining Big data Science Formal sciences Data management
772	Position in computer sciences at ENSAI Add to Reading List Source URL: www.ensai.fr Language: English - Date: 2015-01-16 10:57:47 Science Data analysis Economy of France INSEE Computer science Data mining Big data Technology Formal sciences Data management
773	CURRICULUM VITAE Jan‐Willem Romeijn  Oude Boteringestraat 52, 9712 GL, Groningen, the Netherlands  +31‐50‐3636 148   http://www.philos.rug.nl/~romeyn Add to Reading List Source URL: www.philos.rug.nl Language: English - Date: 2014-09-16 04:51:36 Academia Coimbra Group University of Groningen Formal epistemology Philosophy of science Utrecht University Probabilistic logic Columbia University Department of Philosophy Epistemology Knowledge Science
774	NEWS \| I N D E P T H 18 tist at the Pacific Marine Environmental Laboratory in Seattle. “But you can’t rule Add to Reading List Source URL: www.johnbohannon.org Language: English - Date: 2015-04-08 13:18:33 Natural language generation Artificial intelligence applications Academic publishing Formal languages SCIgen Nonsense World Multiconference on Systemics Cybernetics and Informatics Academic conference Springer Science+Business Media Knowledge Academia Science
775	PDF Document Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-23 06:27:08 Music Automata theory Models of computation Algorithm Mathematical logic Theoretical computer science Formal specification Specification G-code Computing Formal methods Software engineering
776	Microsoft Word - brochure Add to Reading List Source URL: www.kct.ac.in Language: English Business intelligence Data management Kumaraguru College of Technology Big data Data mining Analytics Data warehouse Geographic information system Data sharing Formal sciences Technology Science
777	Microsoft Word9new.doc Add to Reading List Source URL: www.doit.state.nm.us Language: English - Date: 2009-11-05 18:43:35 Product lifecycle management Project management Project manager Software development process Science Business Formal methods Management Building engineering
778	Comfusy: A Tool for Complete Functional Synthesis Tool Presentation Viktor Kuncak, Mika¨el Mayer, Ruzica Piskac, Philippe Suter? Swiss Federal Institute of Technology (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-05-11 07:07:53 Logic in computer science Formal methods Constraint programming Electronic design automation NP-complete problems Satisfiability Modulo Theories Algorithm Presburger arithmetic Function Mathematics Theoretical computer science Mathematical logic
779	DHA-HIT-IATDD-Campaign-TV Flyer-8.5x11 Add to Reading List Source URL: www.defenseinnovationmarketplace.mil Language: English - Date: 2015-05-14 14:47:23 Knowledge Formal sciences Artificial intelligence applications Learning Data analysis Predictive analytics Analytics Machine learning Clinical decision support system Business intelligence Science Statistics

UPDATE